Code accompanying the paper First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming. All code is Haskell code, tested with GHC 8.8.4 ./tuple: contains the examples from Section 3.2 ./bin: contains the examples from Section 5.1 ./artifact: contains an extended version of the running example of the pape
The last decade has seen a number of approaches to data- type-generic programming: PolyP, Functoria...
Agda code accompanying the article ‘Programming metamorphic algorithms: An experiment in type-driven...
A type-indexed function is a function that is defined for each member of some family of types. Haske...
© 2017 Copyright held by the owner/author(s). Meta-programs are programs that generate other program...
Meta-programs are programs that generate other programs, but in weakly type-safe systems, type-check...
Literate Haskell/lhs2TeX source code for the paper "Deep Embedding with Class": TFP 2022 Run the pa...
Abstract. The last decade has seen a number of approaches to datatype-generic programming: PolyP, Fu...
This artifact contains the prototype Haskell implementation of SEDEL, with support for first-class t...
The EPSRC-funded Generic and Indexed Programming project will explore the inter-action between datat...
Artifact for the pearl of the same title that appears at ECOOP 2022. Includes code examples in both ...
Abstract This position paper argues for type-level metaprogramming, wherein types and type declarati...
<p>Haskell code accompanying the paper <em>Profunctor Optics: Modular Data Accessors</em>, by Matthe...
We implemented a type-class for pretty-printing, similar to Haskell’s Show-class [1]. Moreover, we p...
We propose a new extension to the purely functional programming language Haskell that supports compi...
Abstract. A wide range of domain-specific languages (DSLs) has been implemented successfully by embe...
The last decade has seen a number of approaches to data- type-generic programming: PolyP, Functoria...
Agda code accompanying the article ‘Programming metamorphic algorithms: An experiment in type-driven...
A type-indexed function is a function that is defined for each member of some family of types. Haske...
© 2017 Copyright held by the owner/author(s). Meta-programs are programs that generate other program...
Meta-programs are programs that generate other programs, but in weakly type-safe systems, type-check...
Literate Haskell/lhs2TeX source code for the paper "Deep Embedding with Class": TFP 2022 Run the pa...
Abstract. The last decade has seen a number of approaches to datatype-generic programming: PolyP, Fu...
This artifact contains the prototype Haskell implementation of SEDEL, with support for first-class t...
The EPSRC-funded Generic and Indexed Programming project will explore the inter-action between datat...
Artifact for the pearl of the same title that appears at ECOOP 2022. Includes code examples in both ...
Abstract This position paper argues for type-level metaprogramming, wherein types and type declarati...
<p>Haskell code accompanying the paper <em>Profunctor Optics: Modular Data Accessors</em>, by Matthe...
We implemented a type-class for pretty-printing, similar to Haskell’s Show-class [1]. Moreover, we p...
We propose a new extension to the purely functional programming language Haskell that supports compi...
Abstract. A wide range of domain-specific languages (DSLs) has been implemented successfully by embe...
The last decade has seen a number of approaches to data- type-generic programming: PolyP, Functoria...
Agda code accompanying the article ‘Programming metamorphic algorithms: An experiment in type-driven...
A type-indexed function is a function that is defined for each member of some family of types. Haske...
DOI
Add to ORKG